https://www.passeidireto.com/arquivo/127816187/em-relacao-a-automatos-e-linguagens-podemos-afirmar-i-pda-e-o-formato-de-maquina